Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 419

年份

2024 2

2023 45

2022 43

2021 42

2020 16

2019 30

2018 33

2017 22

2016 44

2015 10

2014 6

2013 9

2012 9

2011 12

2010 13

2009 7

2008 9

2007 14

2006 13

2005 8

展开︾

关键词

食物安全 12

安全 9

安全性 8

可持续发展 6

能源安全 6

工业软件 5

质量安全 5

网络安全 4

网络空间安全 4

事故预防 3

安全系数 3

智能制造 3

GIS 2

产业瓶颈 2

信息安全 2

农产品 2

安全风险 2

工业物联网 2

核安全 2

展开︾

检索范围：

排序：展示方式：

我国核安全技术发展战略研究

彭述明,夏佳文,王毅韧,彭现科,黄洪文,郑春,丁文杰

《中国工程科学》 2021年第23卷第3期页码 113-119 doi: 10.15302/J-SSCAE-2021.03.017

摘要：

核安全是国家安全体系的重要组成部分，是发展核事业的前提、基础和生命线。先进可靠的核安全技术是保持并提高本质安全的基石，开展核安全技术战略研究对于建设核科技强国意义重大。结果表明：在总体国家安全观和核安全观的指引下，近年来我国核安全技术进展明显，核安全业绩良好；但也面临核安全标准体系建设有待深化、核安全软件研发统筹不足、核安全高精尖装备受制于人等瓶颈问题。为持续推进核安全治理体系与治理能力现代化，实现核大国向核强国的历史性跨越，建议进一步完善核安全标准体系；统筹资源、集中攻关，推进自主化核安全软件高质量发展；强化“政、产、学、研、用”结合，解决高端核安全装备“卡脖子”问题。

关键词：核安全技术标准体系核安全软件核安全装备

HTML PDF 收藏

拟态防御技术结合软件多样化在软件安全产业中的应用

庞建民,张宇嘉,张铮、邬江兴

《中国工程科学》 2016年第18卷第6期页码 74-78 doi: 10.15302/J-SSCAE-2016.06.015

摘要：

随着互联网的飞速发展，计算机软件全球化的进程不断推进。大量相同软件安装在数以万计的计算机中，容易导致黑客利用软件的漏洞，攻击安装了该软件的所有计算机。传统的软件安全措施是依靠对漏洞进行修补，其只能起到亡羊补牢的作用。软件多样化技术可以使这种情况得到缓解，但其并没有从根本上消除漏洞带来的威胁。本文提出将拟态防御技术与软件多样化技术相结合应用于软件安全产业，可以消除漏洞带来的威胁。

关键词：软件多样化拟态防御软件安全产业

HTML PDF 收藏

可编程软件定义网络的新架构与安全技术：综述 None

Shen WANG, Jun WU, Wu YANG, Long-hua GUO

《信息与电子工程前沿（英文）》 2018年第19卷第12期页码 1500-1521 doi: 10.1631/FITEE.1800575

摘要：为提升网络动态架构、安全性和服务质量，网络控制平面与数据平面的解耦是网络技术发展趋势。目前，软件定义网络（SDN）是新兴网络领域最热门、最具前景的技术之一。然而，该新型网络技术面临架构和安全方面的新挑战。本文为可编程SDN最新进展相关研究提供一个全面综述，分析已被研究和有待解决的问题，并分析在框架架构和安全领域的发展趋势。

关键词：软件定义网络（SDN）；安全；可编程

HTML PDF 收藏

核电站核安全相关结构基于性能指标的抗震概率设计评估方法探究

陈矛,卢实

《中国工程科学》 2013年第15卷第4期页码 57-61

摘要：

本文介绍了美国核电站基于性能指标的核安全相关抗震概率设计方法（performance-based method，PBM）的发展，较为系统地对

关键词：核电厂核安全系统、结构及部件基于性能抗震概率极限值

HTML PDF 收藏

针对无人机系统安全的新型层级式软件架构 Special Feature on Intelligent Robats

Xiao-rui ZHU, Chen LIANG, Zhen-guo YIN, Zhong SHAO, Meng-qi LIU, Hao CHEN

《信息与电子工程前沿（英文）》 2019年第20卷第3期页码 353-362 doi: 10.1631/FITEE.1800636

摘要：提出一种覆盖底层源代码到上层用户任务代码的新型层级式软件架构，用于提高无人机系统安全性与可靠性。每个软件模块采用形式化验证方法，验证其源代码是否符合设计规范，软件模块基于经过形式化验证的操作系统内核（certified kit operating system，CertiKOS），防止无人机由于意外软件故障而坠毁实验结果表明，该软件架构能够有效提高无人机系统安全性与可靠性。

关键词：安全关键系统；无人机；软件架构；形式化验证

HTML PDF 收藏

我国石油经济安全与监测预警复杂战略系统研究

葛家理,胡机豪,张宏民

《中国工程科学》 2002年第4卷第1期页码 75-80

摘要：

对影响石油经济安全的十个潜在要素及国内国际石油经济安全的总体态势进行了分析，提出了石油经济安全的四个新特征及相应的"发展的安全观"理论。运用复杂性科学的理论对石油经济安全系统进行了分析，提出了"机遇控制论"的基本思想，通过综合集成建立了石油经济安全的主指标体系，确定了其安全界限，并编制了实用的石油经济安全数据库系统和预警监测系统软件，大大节约了安全决策的时间和成本。

关键词：石油经济安全复杂性科学安全监测与预警软件

HTML PDF 收藏

中国核电的可持续发展

赵仁恺

《中国工程科学》 2000年第2卷第10期页码 33-41

摘要：

文章阐述了核能是可持续发展的能源，是我国未来国民经济发展的重要支柱的论点，分析了国际核电发展现状，我国核电发展的方针政策、技术路线、现状以及共同关心的几个问题：铀资源问题、核安全问题、核废料问题和核电国产化问题

关键词：核能铀资源核安全核废料国产化

HTML PDF 收藏

互联微电网可编程自适应安全扫描 Article

姜自民, 唐泽帆, 张鹏, 秦彦源

《工程（英文）》 2021年第7卷第8期页码 1087-1100 doi: 10.1016/j.eng.2021.06.007

摘要： font-size:12.0pt">现代微电网的重要特征是其核心的分布式能源和控制系统普遍依赖网络通信和软件系统本文提出一种可编程自适应安全扫描（PASS）技术，用以保护电力电子化微电网系统免受各类电力机器人（power bot）的攻击。可编程自适应扫描融合软件定义网络与新的协同检测方法；这一新的安全措施可以使得微电网的互联具有超高的弹性和安全性、低成本与高度自动化等优点。可编程自适应安全扫描技术的有效性和实用性在大量实验中得到了确证。

关键词：互联微电网可编程自适应安全扫描协同检测软件定义网络

HTML PDF 收藏

表面张力辅助去核法对小鼠卵母细胞的去核研究

孟庆刚,朱士恩,曾申明,张忠诚

《中国工程科学》 2001年第3卷第11期页码 65-69

摘要：

论述了一种新的小鼠卵母细胞去核方法一一表面张力辅助去核法（STA),并同时与其他3种去核方法（简称A法、B法、C法）进行比较。STA法是将卵母细胞核在固定管的辅助下，借助液体表面张力通过透明带上的破口被挤出。经STA法去核的卵母细胞质体用于电融合介导的小鼠耳成纤维细胞核移植实验，结果有 76.1 %细胞与细胞质体融合形成重组胚，85.4 %的重组胚形成原核，49.4%卵裂形成2-细胞。

关键词：表面张力辅助去核卵母细胞小鼠

HTML PDF 收藏

一种安全、高性能的软件定义网络多控制器体系结构 Article

Huan-zhao WANG,Peng ZHANG,Lei XIONG,Xin LIU,Cheng-chen HU

《信息与电子工程前沿（英文）》 2016年第17卷第7期页码 634-646 doi: 10.1631/FITEE.1500321

摘要：控制器在软件定义网络（software-defined networking）中扮演着至关重要的角色。然而现有的SDN控制器体系结构存在单点故障隐患，即控制器资源容易被洪泛的数据流请求耗尽。为了解决以上SDN控制器的安全和性能问题，本文提出一种名为分布式数据存储（distributed rule store，DRS）的SDN多控制器体系结构。

关键词：软件定义网络；安全；多控制器；分布式规则存储

HTML PDF 收藏

国外ICT供应链安全管理研究及建议

倪光南,陈晓桦,尚燕敏、徐克付

《中国工程科学》 2016年第18卷第6期页码 104-109 doi: 10.15302/J-SSCAE-2016.06.021

摘要：

鉴于国家关键基础设施和关键资源（CIKR）对信息通信技术（ICT）的依赖，识别和控制ICT供应链风险已成为保障国家安全的重要手段。美国作为ICT供应链管理的先行者，在提升战略地位、开展风险管理、确保软硬件安全、监管政府采购等方面为各国提供了丰富经验；欧盟、俄罗斯也加强了ICT供应链的安全管理。在分析上述国外情况的基础上，给出了完善我国ICT供应链安全管理的相关建议。

关键词：供应链风险管理硬件供应链软件供应链采购安全

HTML PDF 收藏

中法关于核能与环境的联合研究 Feature Article

赵宪庚, 叶其蓁, Sébastien Candel, Dominique Vignon, Robert Guillaumont

《工程（英文）》 2023年第26卷第7期页码 159-172 doi: 10.1016/j.eng.2023.04.011

摘要：控制正常运行条件下核设施的放射性排放，评估其非放射性环境影响（取水与非放射性水的排放）；②乏燃料与放射性废物的长期管理，主要是通过地质处置库处理的乏燃料或放射性废物；③防止和缓解严重核事故以及核事故的放射性释放；④改善核安全水平过去几次严重核事故中获得的经验为核能生产相关的安全问题提供了经验，也促成了重要的安全改进，其中包括反应堆的设计和运行管理方面的改善以及事故管理指导方针的制定等。事实证明，这些经验是非常宝贵的。还需要继续采取措施，改善反应堆的安全性，提升核工业与核监管机构的透明度，以进一步降低核能的环境影响。

关键词：核能环境影响放射性废物管理严重核事故核安全

HTML PDF 收藏

基于重放分析的网络协议软件状态变量自动化发现技术 Research Article

黄见欣1,喻波1,刘润昊1,苏金树1,2

《信息与电子工程前沿（英文）》 2023年第24卷第3期页码 403-416 doi: 10.1631/FITEE.2200275

摘要：网络协议软件通常具有程序路径复杂、状态空间庞大的特点。程序中往往存在着一些带有状态的关键变量，用于记录协议状态和会话信息。这些状态变量一旦处理不当，很可能违背协议规范，进而产生逻辑错误，导致协议软件出现潜在的缺陷或漏洞。本文针对现有程序分析技术难以发现网络协议软件中的状态变量，且自动化程度偏低的问题，提出一种基于重放分析的状态变量识别方法。考虑到状态变量主要反映着通信双方的参数和程序的状态，具有这些特征的变量通常会以全局变量或静态变量的形式，持续存在于进程之中，该方法通过记录和重放协议软件的执行轨迹，运用动态插桩技术，在协议状态和软件状态的变化过程中在此基础上，设计并实现了一套能够自动化发现状态变量的原型系统，在ProFuzzBench中的9个程序和2个现实中的复杂协议软件上进行了测试。

关键词：状态变量；网络协议软件；程序分析技术；网络安全

HTML PDF 收藏

智能化时代的软件开发：拥抱大模型的正确姿势 Perspective

彭鑫

《信息与电子工程前沿（英文）》 2023年第24卷第11期页码 1513-1519 doi: 10.1631/FITEE.2300537

摘要：以ChatGPT为代表的大语言模型技术对包括软件工程在内的很多领域都带来巨大冲击，也引发广泛焦虑。为在迷雾中看清一点方向，近期我们基于各种技术文献和实践分享以及我们自身的初步探索不断讨论和思考“大模型时代的软件工程”或者“大模型的软件开发能力”这一命题。由于到目前为止大模型在很大程度上仍然是一个黑盒，并且大模型技术还在快速迭代和发展之中，同时目前看到的以及我们自己实践的基于大模型的软件开发案例还比较初步，因此本文的很多认识和思考不一定准确，未来还可能会随着技术和实践的发展而不断刷新

关键词：大语言模型；ChatGPT；软件工程；软件开发